#include<stdio.h>
void main(){
	int a=1,sum=0;
	while(a<=1000){
		sum+=a;
		a++;
	}printf("%d",sum);
}
